1. Proof theory and intuitionistic systems
Author: / [by] Bruno Scarpellini
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA3
،.
L28
,
S327